On the Da Costa , Dubikajtis and Kotas ’ System of the Discursive
نویسنده
چکیده
In the late forties, Stanisław Jaśkowski published two papers on the discursive (or discussive) sentential calculus, D2. He provided a definition of it by an interpretation in the language of S5 of Lewis. The known axiomatization of D2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however, that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D∗ 2 for short, that differs from D2 in many respects. The aim of this paper is to introduce a direct Kripke-type semantics for the system, axiomatize it in a new way and prove soundness and completeness theorems. Additionally, we present labelled tableaux for D∗ 2 . 1
منابع مشابه
Negations in the Adjunctive Discursive Logic
In the logical literature, Discursive (or Discussive) Logic introduced by Stanis law Jaśkowski is seen as one of the earliest examples of the so-called paraconsistent logic. There is some confusion over what is actually discursive logic nevertheless. One of the possible sources of the confusion is easy to discern; it comes from the fact that Jaśkowski published his two papers in Polish and thei...
متن کاملDevelopment of a new low-cost procedure for wind farm maintenance with a view to decrease soil pollution
The purpose of this article is to present the development of a wind farm, with a condition monitoring system (CMS) based on control charts as the algorithm, centred on a new index, to prevent soil pollution by oil spills in wind farms. To this end, temperature sensors can be considered as one of the more significant sensors to be employed in this study, because the information obtained with reg...
متن کاملDevelopment of a new low-cost procedure for wind farm maintenance with a view to decrease soil pollution
The purpose of this article is to present the development of a wind farm, with a condition monitoring system (CMS) based on control charts as the algorithm, centred on a new index, to prevent soil pollution by oil spills in wind farms. To this end, temperature sensors can be considered as one of the more significant sensors to be employed in this study, because the information obtained with reg...
متن کاملAmbulant Market Foods: Consumer Problem or Solution?
Background: The sale of food by street vendors is an activity of economic, sanitary, and nutritional importance, but these foods can pose a high risk to the health of consumers in inadequate conditions of preparation and storage. The aim of this study was to investigate the preparation conditions and the hygienic-sanitary quality of food sold by street vendors in the vicinity of four campuse...
متن کاملThe Discursive Function of Place in "The Night when Sohrab was killed" by Bijan Najdi
One of the important functions of every Semiotic system is its local function. In a discourse, places have various roles such as objective, acting, being, abstract, narrative and mythical. In addition they have referential, narrative, tensional, metaphorical and transcendental functions and they play a role in creation of meaning. By strengthening objective and physical aspects of place, its co...
متن کامل